How to retrieve the current version of a MySQL database